121. Engineering societies in the agents world: first international workshop, ESAW 2000, Berlin, Germany, August 21, 2000 : revised papers
پدیدآورنده : Andrea Omicini, Robert Tolksdorf, Franco Zambonelli )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Intelligent agents )Computer software(,Societies, etc. -- Congresses ، Engineering
رده :
QA
76
.
L28
Vol
.
1972
122. Engineering theories of software construction
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
758
.
N388
2000
123. Engineering theories of software intensive systems
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses ;
124. Engineering trustworthy software systems :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
125. Engineering trustworthy software systems :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
126. Evaluation of novel approaches to software engineering :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
127. Evaluation of novel approaches to software engineering :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
128. Experimental Algorithms
پدیدآورنده : \ Evripidis Bampis (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer algorithms -- Congresses.,Software engineering -- Congresses,Data Structures.,الگوریتمهای کامپیوتری -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,ساختار دادهها
رده :
QA
76
.
9
.
E97
2015
E-Book
,
129. Experimental software engineering issues : critical assessment and future directions : International Workshop Dagstuhl Castle ,Germany, September 14-18, 1992 : proceedings
پدیدآورنده : H. Dieter Rombach, Victor R. Basili, Richard W. Selby, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
706
130. FM 2015
پدیدآورنده : \ Nikolaj Bjørner , Frank de Boer (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering.,روشهای صوری (کامپیوتر) -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
9
.
F57
2015
E-Book
,
131. FST TCS 2000 :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ; Computer science ; Congresses. ;
132. FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd Conference, Kanpur, India, December 2002 : proceedings
پدیدآورنده : Manindra Agrawal, Anil Seth )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2556
133. FST TCS 2003 : foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003: proceedings
پدیدآورنده : Paritosh K. Pandya, Jaikumar Radhakrishnan )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2914
134. FST TCS 2001 : foundations of software technology and theoretical computer science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
پدیدآورنده : Ramesh Hariharan, Madhavan Mukund, V. Vinay )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2245
135. FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings
پدیدآورنده : Sanjiv Kapoor, Snajiva Prasad )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1974
136. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
137. First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Engineering-- Methodology,Congresses ، Computer software-- Development
رده :
TA
5
.
I415
1997
138. FoSE 2007 : Future of Software Engineering, 23-25 May 2007, Minneapolis, Minnesota
پدیدآورنده : edited by Lionel C. Briand, Alexander L. Wolf; sponsored by IEEE Computer Society Technical Council on Software Engineering, The ACM Special Interest Group on Software Engineering )SIGSOFT(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
758
.
F887
2007
139. Focused Software Process Improvement :-Product
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering ; Congresses. ;
140. Formal Methods for Industrial Critical Systems
پدیدآورنده : \ Manuel Núñez , Matthias Güdemann (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,برنامههای کامپیوتری -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,